% This file was created with JabRef 2.7.2.
% Encoding: Cp1252

@ARTICLE{Padberg98rule-basedrefinement,
  author = {{P}adberg, {J}ulia and {G}ajewsky, {M}agdalena and {E}rmel, {C}laudia},
  title = {{R}ule-{B}ased {R}efinement of {H}igh-{L}evel {N}ets {P}reserving
	{S}afety {P}roperties.},
  journal = {Science of Computer Programming},
  year = {2001},
  volume = {40},
  pages = {97--118},
  number = {1},
  booktitle = {{F}undamental {A}pproaches to {S}oftware {E}ngineering},
  owner = {moussa.amrani},
  publisher = {Springer Verlag},
  timestamp = {2012.07.30}
}

@TECHREPORT{Padberg97refinementversus,
  author = {{J}. {P}adberg and {M}. {G}ajewsky and {C}. {E}rmel},
  title = {{R}efinement versus {V}erification: {C}ompatibility of {N}et {I}nvariants
	and {S}tepwise {D}evelopment of {H}igh-{L}evel {P}etri {N}ets},
  institution = {Technische Universitat Berlin},
  year = {1997},
  owner = {moussa.amrani},
  timestamp = {2012.07.30}
}

@comment{jabref-meta: selector_review:}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}

